A Loop Acceleration Technique to Speed Up Verification of Automatically-Generated Plans Robert P. Goldman and Michael J.S. Pelican and David J. Musliner SIFT, LLC 211 N. First St. Minneapolis, MN 55401

Source URL: icaps11.icaps-conference.org

• Applied mathematics
• Computer science
• Model checkers
• Formal methods
• Logic in computer science
• Formal verification
• Model checking
• State transition system
• Uppaal Model Checker
• Models of computation
• Theoretical computer science
• Automata theory

Published in the Proceedings of AAAI-15, AAAI Press, Austin TX, JanuaryMeasuring Plan Diversity: Pathologies in Existing Approaches and A New Plan Distance Metric Robert P. Goldman and Ugur Kuter SIFT, LLC

Source URL: rpgoldman.goldman-tribe.org

• Artificial intelligence
• Kolmogorov complexity
• Complexity
• Information theory
• Hierarchical task network
• Planning Domain Definition Language
• X Window System
• Automated planning and scheduling
• Software
• Science

READING A JOURNAL ARTICLE It is desirable to sift out reliable and relevant information from the deluge of publications that are available for study. An essential component in this process is the critical appraisal of wr

Source URL: www.surgery.uwa.edu.au

• Knowledge
• Design of experiments
• Formal sciences
• Abstract
• Academic publishing
• Statistical hypothesis testing
• Logic
• Intelligence quotient
• Psychometrics
• Statistics
• Science

READING A JOURNAL ARTICLE It is desirable to sift out reliable and relevant information from the deluge of publications that are available for study. An essential component in this process is the critical appraisal of wr

Source URL: www.surgery.uwa.edu.au

• Knowledge
• Design of experiments
• Formal sciences
• Abstract
• Academic publishing
• Statistical hypothesis testing
• Logic
• Intelligence quotient
• Psychometrics
• Statistics
• Science

Concrete BlockCache Notes Michael Stack stack@(cloudera.com|apache.org) Sift Science HBase Meetup, [removed] 64k

Source URL: files.meetup.com

Dig reveals slices of village life Archaeologists sift tiny pieces of 19th century cheese factory BY STEPHEN WILLIAMS Gazette Reporter The former farm field where

Source URL: www.landmarkarchaeologyinc.net

• Charlton
• Massachusetts
• Science
• Anthropology
• Archaeology
• Excavation

UCD SIFT in the TREC 2009 Web Track David Lillis1 , Fergus Toolan1 , Ling Lin2 , Rem W. Collier1 , and John Dunnion1 1 School of Computer Science and Informatics University College Dublin

Source URL: trec.nist.gov

• Text Retrieval Conference
• Relevance feedback
• Relevance
• Stemming
• Query expansion
• Precision and recall
• Document retrieval
• Bayesian network
• Algorithm
• Information science
• Information retrieval
• Science

Using Boolean Logic in Search Strings With over 15 billion web pages and over 40,000 job boards and resume databases, how does a recruiter sift through the data to discover the candidates who truly shine?

Source URL: hr.wa.gov

• Google Search
• Web search engine
• Boolean algebra
• Searching
• Proximity search
• Full text search
• Information science
• Information retrieval
• Internet search engines

Using Boolean Logic in Search Strings With over 15 billion web pages and over 40,000 job boards and resume databases, how does a recruiter sift through the data to discover the candidates who truly shine?

Source URL: www.hr.wa.gov

• Google Search
• Web search engine
• Boolean algebra
• Searching
• Proximity search
• Full text search
• Information science
• Information retrieval
• Internet search engines